css: Handle font-size changes properly
authorMatthias Clasen <mclasen@redhat.com>
Wed, 24 Dec 2014 02:11:00 +0000 (21:11 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 24 Dec 2014 02:11:00 +0000 (21:11 -0500)
commit31f502a9ae816fb692716be6b9c68eaa8ee869d3
tree616f0f68912581b7a4ea314a9faa648719fbe092
parentc763e734978645c825a41a5a0725a1aea903e6ef
css: Handle font-size changes properly

Changing font size does not cause widgets to update their size
properly anymore, since we forgot an invalidation flag. The
problem can be observed e.g. by running gtk3-demo and calling

gsettings set org.gnome.desktop.interface font-name "Cantarell 22"
gtk/gtkcssstylepropertyimpl.c